$\forall$$A$:Type, $I$:MaInterface($A$), ${\it es}$:ES, $v$:Id.
\\[0ex]ma{-}interface{-}consistent2(${\it es}$;$I$)
\\[0ex]$\Rightarrow$ ($v$ $\in$ ma{-}interface{-}locs($I$))
\\[0ex]$\Rightarrow$ ($\forall$$e$:E. ($\uparrow$($e$ $\in_{b}$ [[$I$$\mid$$v$]])) $\Rightarrow$ ($\uparrow$($e$ $\in_{b}$ [[$I$]])))